(*Calcolo il punto fisso di una funzione*)

let limit eq f =
  let rec aux x =
    let x' = f x in
      if eq x x' then
	x'
      else
	aux x'
  in
    aux
